/*!
 * This file is a small example of using the IEGenLib C++ API.  To compile,
 * execute the following command from the root of the project:
 *
 * g++ -o cpp_api_example -Iiegen/include -Liegen/lib -liegenlib src/cpp_api_example.cc
 *
 *\authors Alan LaMielle
 *\date Date Started: 3/11/11
 *\date Date Last Updated: 3/11/11
 */

#include <iostream>

using std::cout;
using std::endl;

#include <iegenlib/iegenlib.h>

using iegenlib::IEGenLibContext;
using iegenlib::Set;
using iegenlib::Relation;

int main(int ac, char **av)
{
  Set set("{[a]: a=10}");

  cout<<set.get_isl()<<endl;

  return 0;
}
